home *** CD-ROM | disk | FTP | other *** search
/ CD ROM Paradise Collection 4 / CD ROM Paradise Collection 4 1995 Nov.iso / misc / cabern.zip / EXAMPLES / TASK.GRP < prev    next >
Text File  |  1994-09-08  |  19KB  |  372 lines
  1.  
  2. (Tree$task2.graph28#
  3. (TreeNode$S0388#125#50#3#1#1#7#
  4. (TokWPlace$Tk10T00#
  5. (TimedPlace$t1_P1973#453#100#2#1#1#0#;1timed_int))
  6. (TokWPlace$Tk20T00#
  7. (TimedPlace$t2_P13533#453#100#2#1#79#0#;1timed_int))
  8. (TokWPlace$Tk3
  9. 0T00#
  10. (TimedPlace$PROCESSORS2509#1733#100#2#1#18#0#;1timed_int))
  11. (TokWPlace$Tk3
  12. 0T00#8^)
  13. (TokWPlace$from_T3
  14. 0T00#
  15. (TimedPlace$DISK2253#1221#100#2#1#20#0#;1timed_int))
  16. (TokWPlace$Tk3
  17. 0T00#
  18. (TimedPlace$PRINTER2509#2245#100#2#1#21#0#;1timed_int))
  19. (TokWPlace$Tk40T00#
  20. (TimedPlace$t3_P1973#3525#100#2#1#92#0#;1timed_int))T0==00^)
  21. (TreeNode$S1125#305#50#3#1#2#T18#0^5^0^9^10^12^14^
  22. (TokWPlace$from_t1_T10T1-1#
  23. (TimedPlace$t1_P2973#965#100#2#1#2#0#;1timed_int))T0==0 && T1-T0-2>=0 && T1-T0-3<=0
  24. (TimedTransition$t1_T1973#709#100#1#1#8#TRUE;enab+2enab+3STRONG))
  25. (TreeNode$S2305#305#50#3#1#3#T18#3^0^0^9^10^12^14^
  26. (TokWPlace$from_t2_T10T1-1#
  27. (TimedPlace$t2_P23533#965#100#2#1#81#0#;1timed_int))T0==0 && T1-T0-2>=0 && T1-T0-3<=0
  28. (TimedTransition$t2_T13533#709#100#1#1#80#TRUE;enab+2enab+3STRONG))
  29. (TreeNode$S3734#305#50#3#1#4#T18#3^5^0^9^10^12^0^
  30. (TokWPlace$from_t3_T10T1-1#
  31. (TimedPlace$t3_P21485#3525#100#2#1#94#0#;1timed_int))T0==0 && T1-T0-2>=0 && T1-T0-3<=0
  32. (TimedTransition$t3_T11229#3269#100#1#1#93#TRUE;enab+2enab+3STRONG))
  33. (TreeNode$S4485#485#50#3#1#5#T28#0^5^
  34. (TokWPlace$from_t1_T10T2-1#18^)0^10^12^0^25^T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T0-2>=0 && T2-T0-3<=0 && T2-T1>=0 &&
  35. T2-T1-0.2<=019^)
  36. (TreeNode$S5665#485#50#3#1#6#T28#3^0^
  37. (TokWPlace$from_t2_T10T2-1#22^)0^10^12^0^25^T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T0-2>=0 && T2-T0-3<=0 && T2-T1>=0 &&
  38. T2-T1-0.2<=023^)
  39. (TreeNode$S61053#485#50#3#1#7#T27#3^5^
  40. (TokWPlace$from_t3_T20T2-1#
  41. (TimedPlace$t3_P31997#3525#100#2#1#96#0#;1timed_int))9^0^12^
  42. (TokWPlace$from_t3_T20T2-1#8^)T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  43. (TimedTransition$t3_T21741#3269#100#1#1#95#TRUE;enab+0.1enab+0.2STRONG))
  44. (TreeNode$S7845#665#50#3#1#8#T37#0^5^33^0^
  45. (TokWPlace$from_t1_T10T3-1#18^)12^35^T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  46. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=019^)
  47. (TreeNode$S81261#665#50#3#1#9#T37#3^0^33^0^
  48. (TokWPlace$from_t2_T10T3-1#22^)12^35^T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  49. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=023^)
  50. (TreeNode$S91261#845#50#3#1#10#T46#0^
  51. (TokWPlace$from_t1_T10T4-1#18^)33^0^40^12^T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  52. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=019^)
  53. (TreeNode$S101261#1025#50#3#1#11#T56#
  54. (TokWPlace$from_t3_T30T5-1#
  55. (TimedPlace$t3_P42509#3525#100#2#1#98#0#;1timed_int))42^0^
  56. (TokWPlace$from_t3_T30T5-1#11^)40^12^T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  57. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  58. T5-T2-10>=0 && T5-T2-12<=0
  59. (TimedTransition$t3_T32253#3269#100#1#1#97#TRUE;enab+10enab+12STRONG))
  60. (TreeNode$S111025#1205#50#3#1#12#T67#44^0^
  61. (TokWPlace$from_t1_T20T6-1#
  62. (TimedPlace$t1_P3973#1477#100#2#1#3#0#;1timed_int))0^40^12^
  63. (TokWPlace$from_t1_T20T6-1#8^)T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  64. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  65. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0
  66. (TimedTransition$t1_T2973#1221#100#1#1#9#TRUE;enab+0.1enab+0.2STRONG))
  67. (TreeNode$S121497#1205#50#3#1#13#T67#44^42^
  68. (TokWPlace$from_t2_T20T6-1#
  69. (TimedPlace$t2_P33533#1477#100#2#1#83#0#;1timed_int))0^0^12^
  70. (TokWPlace$from_t2_T20T6-1#8^)T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  71. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  72. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0
  73. (TimedTransition$t2_T23533#1221#100#1#1#82#TRUE;enab+0.1enab+0.2STRONG))
  74. (TreeNode$S131497#1385#50#3#1#14#T75#0^42^54^
  75. (TokWPlace$from_t3_T40T7-1#
  76. (TimedPlace$t3_P93021#3525#100#2#1#103#0#;1timed_int))
  77. (TokWPlace$from_t3_T40T7-1#
  78. (TimedPlace$t3_P83021#3269#100#2#1#100#0#;1timed_int))T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  79. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  80. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  81. T7-T6-0.2<=0
  82. (TimedTransition$t3_T42765#3269#100#1#1#99#TRUE;enab+0.1enab+0.2STRONG))
  83. (TreeNode$S141497#1565#50#3#1#15#T86#
  84. (TokWPlace$from_t3_T60T8-1#
  85. (TimedPlace$t3_P103789#3269#100#2#1#104#0#;1timed_int))42^54^0^61^
  86. (TokWPlace$from_t3_T60T8-1#8^)T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  87. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  88. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  89. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0
  90. (TimedTransition$t3_T63533#3525#100#1#1#102#TRUE;enab+2enab+4STRONG))
  91. (TreeNode$S151497#1745#50#3#1#16#T97#65^42^0^
  92. (TokWPlace$from_t2_T30T9-1#
  93. (TimedPlace$t2_P43533#1989#100#2#1#85#0#;1timed_int))61^67^
  94. (TokWPlace$from_t2_T30T9-1#11^)T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  95. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  96. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  97. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0
  98. (TimedTransition$t2_T33533#1733#100#1#1#84#TRUE;enab+10enab+12STRONG))
  99. (TreeNode$S161497#1925#50#3#1#17#T108#65^0^
  100. (TokWPlace$from_t1_T20T10-1#50^)70^61^67^0^
  101. (TokWPlace$from_t1_T20T10-1#8^)T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  102. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  103. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  104. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0 &&
  105. T10-T9-0.1>=0 && T10-T9-0.2<=052^)
  106. (TreeNode$S171497#2105#50#3#1#18#T118#65^
  107. (TokWPlace$from_t1_T30T11-1#
  108. (TimedPlace$t1_P4973#1989#100#2#1#4#0#;1timed_int))0^70^61^67^
  109. (TokWPlace$from_t1_T30T11-1#11^)76^T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  110. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  111. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  112. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0 &&
  113. T9-T10+0.1<=0 && T9-T10+0.2>=0 && T11-T10-10>=0 && T11-T10-12<=0
  114. (TimedTransition$t1_T3973#1733#100#1#1#10#TRUE;enab+10enab+12STRONG))
  115. (TreeNode$S181497#2285#50#3#1#19#T128#65^78^
  116. (TokWPlace$from_t3_T50T12-1#13^)70^0^67^80^76^T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  117. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  118. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  119. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0 &&
  120. T9-T10+0.1<=0 && T9-T10+0.2>=0 && T11-T10-10>=0 && T11-T10-12<=0 &&
  121. T12-T7-40>=0 && T12-T7-45<=0
  122. (TimedTransition$t3_T53277#3269#100#1#1#101#TRUE;enab+40enab+45STRONG))
  123. (TreeNode$S191205#2465#50#3#1#20#T139#65^0^0^70^
  124. (TokWPlace$from_t1_T40T13-1#
  125. (TimedPlace$t1_P8461#2501#100#2#1#12#0#;1timed_int))0^80^76^
  126. (TokWPlace$from_t1_T40T13-1#
  127. (TimedPlace$t1_P9973#2501#100#2#1#13#0#;1timed_int))T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  128. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  129. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  130. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0 &&
  131. T9-T10+0.1<=0 && T9-T10+0.2>=0 && T11-T10-10>=0 && T11-T10-12<=0 &&
  132. T7-T12+40<=0 && T7-T12+45>=0 && T13-T12-0.1>=0 && T13-T12-0.2<=0
  133. (TimedTransition$t1_T4973#2245#100#1#1#11#TRUE;enab+0.1enab+0.2STRONG))
  134. (TreeNode$S201385#2465#50#3#1#21#T139#65^0^0^70^
  135. (TokWPlace$from_t1_T40T13-1#87^)67^80^0^
  136. (TokWPlace$from_t1_T40T13-1#89^)T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  137. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  138. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  139. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0 &&
  140. T9-T10+0.1<=0 && T9-T10+0.2>=0 && T11-T10-10>=0 && T11-T10-12<=0 &&
  141. T7-T12+40<=0 && T7-T12+45>=0 && T13-T12-0.1>=0 && T13-T12-0.2<=090^)
  142. (TreeNode$S211565#2465#50#3#1#22#T139#65^78^0^0^
  143. (TokWPlace$from_t2_T40T13-1#
  144. (TimedPlace$t2_P93533#2501#100#2#1#90#0#;1timed_int))0^80^76^
  145. (TokWPlace$from_t2_T40T13-1#
  146. (TimedPlace$t2_P83021#2501#100#2#1#87#0#;1timed_int))T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  147. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  148. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  149. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0 &&
  150. T9-T10+0.1<=0 && T9-T10+0.2>=0 && T11-T10-10>=0 && T11-T10-12<=0 &&
  151. T7-T12+40<=0 && T7-T12+45>=0 && T13-T12-0.1>=0 && T13-T12-0.2<=0
  152. (TimedTransition$t2_T43533#2245#100#1#1#86#TRUE;enab+0.1enab+0.2STRONG))
  153. (TreeNode$S221835#2465#50#3#1#23#T139#65^78^0^0^
  154. (TokWPlace$from_t2_T40T13-1#96^)67^80^0^
  155. (TokWPlace$from_t2_T40T13-1#98^)T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  156. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  157. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  158. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0 &&
  159. T9-T10+0.1<=0 && T9-T10+0.2>=0 && T11-T10-10>=0 && T11-T10-12<=0 &&
  160. T7-T12+40<=0 && T7-T12+45>=0 && T13-T12-0.1>=0 && T13-T12-0.2<=099^)
  161. (TreeNode$S231835#2645#50#3#1#24#T149#65^78^
  162. (TokWPlace$from_t2_T60T14-1#
  163. (TimedPlace$t2_P103533#3013#100#2#1#91#0#;1timed_int))
  164. (TokWPlace$from_t2_T60T14-1#8^)0^67^80^0^102^T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  165. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  166. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  167. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0 &&
  168. T9-T10+0.1<=0 && T9-T10+0.2>=0 && T11-T10-10>=0 && T11-T10-12<=0 &&
  169. T7-T12+40<=0 && T7-T12+45>=0 && T13-T12-0.1>=0 && T13-T12-0.2<=0 &&
  170. T14-T13-2>=0 && T14-T13-4<=0
  171. (TimedTransition$t2_T63533#2757#100#1#1#89#TRUE;enab+2enab+4STRONG))
  172. (TreeNode$S241835#2825#50#3#1#25#T157#65^78^104^106^
  173. (TokWPlace$from_t2_T50T15-1#13^)67^80^T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  174. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  175. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  176. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0 &&
  177. T9-T10+0.1<=0 && T9-T10+0.2>=0 && T11-T10-10>=0 && T11-T10-12<=0 &&
  178. T7-T12+40<=0 && T7-T12+45>=0 && T13-T12-0.1>=0 && T13-T12-0.2<=0 &&
  179. T14-T13-2>=0 && T14-T13-4<=0 && T15-T13-40>=0 && T15-T13-45<=0
  180. (TimedTransition$t2_T53021#2757#100#1#1#88#TRUE;enab+40enab+45STRONG))
  181. (TreeNode$S251745#3005#50#3#1#26#T169#65^0^104^0^0^67^80^
  182. (TokWPlace$from_t1_T40T16-1#87^)
  183. (TokWPlace$from_t1_T40T16-1#89^)T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  184. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  185. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  186. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0 &&
  187. T9-T10+0.1<=0 && T9-T10+0.2>=0 && T11-T10-10>=0 && T11-T10-12<=0 &&
  188. T7-T12+40<=0 && T7-T12+45>=0 && T13-T12-0.1>=0 && T13-T12-0.2<=0 &&
  189. T14-T13-2>=0 && T14-T13-4<=0 && T15-T13-40>=0 && T15-T13-45<=0 &&
  190. T16-T15-0.1>=0 && T16-T15-0.2<=090^)
  191. (TreeNode$S261925#3005#50#3#1#27#T169#65^0^104^106^0^0^80^
  192. (TokWPlace$from_t1_T40T16-1#87^)
  193. (TokWPlace$from_t1_T40T16-1#89^)T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  194. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  195. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  196. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0 &&
  197. T9-T10+0.1<=0 && T9-T10+0.2>=0 && T11-T10-10>=0 && T11-T10-12<=0 &&
  198. T7-T12+40<=0 && T7-T12+45>=0 && T13-T12-0.1>=0 && T13-T12-0.2<=0 &&
  199. T14-T13-2>=0 && T14-T13-4<=0 && T15-T13-40>=0 && T15-T13-45<=0 &&
  200. T16-T15-0.1>=0 && T16-T15-0.2<=090^)
  201. (TreeNode$S271925#3185#50#2#1#28#T178#65^
  202. (TokWPlace$from_t1_T60T17-1#
  203. (TimedPlace$t1_P10973#3013#100#2#1#16#0#;1timed_int))104^106^
  204. (TokWPlace$from_t1_T60T17-1#8^)0^80^115^T0==0 && T1-T0-2>=0 && T1-T0-3<=0 && T2-T1-0.1>=0 && T2-T1-0.2<=0 && T2-T0-3<=0
  205. && T3-T0-2>=0 && T3-T0-3<=0 && T3-T2>=0 && T4-T2-2>=0 && T4-T2-3<=0 &&
  206. T5-T2-10>=0 && T5-T2-12<=0 && T6-T5-0.1>=0 && T6-T5-0.2<=0 && T7-T6-0.1>=0 &&
  207. T7-T6-0.2<=0 && T8-T7-2>=0 && T8-T7-4<=0 && T9-T6-10>=0 && T9-T6-12<=0 &&
  208. T9-T10+0.1<=0 && T9-T10+0.2>=0 && T11-T10-10>=0 && T11-T10-12<=0 &&
  209. T7-T12+40<=0 && T7-T12+45>=0 && T13-T12-0.1>=0 && T13-T12-0.2<=0 &&
  210. T14-T13-2>=0 && T14-T13-4<=0 && T15-T13-40>=0 && T15-T13-45<=0 &&
  211. T16-T15-0.1>=0 && T16-T15-0.2<=0 && T17-T16-2>=0 && T17-T16-4<=0
  212. (TimedTransition$t1_T6973#2757#100#1#1#15#TRUE;enab+2enab+4STRONG))27#
  213. (Flow$0#0#0#0#0#0#0#0#0#0#1#2^16^)
  214. (Flow$0#0#0#0#0#0#0#0#0#0#1#2^20^)
  215. (Flow$0#0#0#0#0#0#0#0#0#0#1#2^24^)
  216. (Flow$0#0#0#0#0#0#0#0#0#0#1#24^28^)
  217. (Flow$0#0#0#0#0#0#0#0#0#0#1#24^30^)
  218. (Flow$0#0#0#0#0#0#0#0#0#0#1#24^32^)
  219. (Flow$0#0#0#0#0#0#0#0#0#0#1#32^37^)
  220. (Flow$0#0#0#0#0#0#0#0#0#0#1#32^39^)
  221. (Flow$0#0#0#0#0#0#0#0#0#0#1#39^41^)
  222. (Flow$0#0#0#0#0#0#0#0#0#0#1#41^43^)
  223. (Flow$0#0#0#0#0#0#0#0#0#0#1#43^48^)
  224. (Flow$0#0#0#0#0#0#0#0#0#0#1#43^53^)
  225. (Flow$0#0#0#0#0#0#0#0#0#0#1#53^58^)
  226. (Flow$0#0#0#0#0#0#0#0#0#0#1#58^64^)
  227. (Flow$0#0#0#0#0#0#0#0#0#0#1#64^69^)
  228. (Flow$0#0#0#0#0#0#0#0#0#0#1#69^74^)
  229. (Flow$0#0#0#0#0#0#0#0#0#0#1#74^77^)
  230. (Flow$0#0#0#0#0#0#0#0#0#0#1#77^82^)
  231. (Flow$0#0#0#0#0#0#0#0#0#0#1#82^85^)
  232. (Flow$0#0#0#0#0#0#0#0#0#0#1#82^91^)
  233. (Flow$0#0#0#0#0#0#0#0#0#0#1#82^94^)
  234. (Flow$0#0#0#0#0#0#0#0#0#0#1#82^100^)
  235. (Flow$0#0#0#0#0#0#0#0#0#0#1#100^103^)
  236. (Flow$0#0#0#0#0#0#0#0#0#0#1#103^108^)
  237. (Flow$0#0#0#0#0#0#0#0#0#0#1#108^111^)
  238. (Flow$0#0#0#0#0#0#0#0#0#0#1#108^114^)
  239. (Flow$0#0#0#0#0#0#0#0#0#0#1#114^117^)28#1#120#
  240. (TimedNet$task_net42#4^18^50^79^19^52^81^90^87^89^
  241. (TimedTransition$t1_T5461#2757#100#1#1#14#TRUE;enab+40enab+45STRONG)121^119^6^8^23^11^13^22^57^55^73^71^99^98^110^107^96^105^15^27^26^36^34^47^45^63^62^84^68^60^66^71#
  242. (Arc$A10#0#0#0#0#0#0#0#20#0#1#4^19^1)
  243. (Arc$A20#0#0#0#0#0#0#0#20#0#1#19^18^1)
  244. (Arc$A30#0#0#0#0#0#0#0#20#0#1#18^52^1)
  245. (Arc$A40#0#0#0#0#0#0#0#20#0#1#52^50^1)
  246. (Arc$A50#0#0#0#0#0#0#0#20#0#1#50^81^1)
  247. (Arc$A60#0#0#0#0#0#0#0#20#0#1#81^79^1)
  248. (Arc$A70#0#0#0#0#0#0#0#20#0#1#79^90^1)
  249. (Arc$A80#0#0#0#0#0#0#0#20#0#1#90^87^1)
  250. (Arc$A90#0#0#0#0#0#0#0#20#0#1#90^89^1)
  251. (Arc$A100#0#0#0#0#0#0#0#20#0#1#89^121^1)
  252. (Arc$A110#0#0#0#0#0#0#0#20#0#1#87^150^1)
  253. (Arc$A120#0#0#0#0#0#0#0#20#0#1#121^119^1)
  254. (Arc$A690#0#0#0#0#0#0#0#20#0#1#52^8^1)
  255. (Arc$A700#0#0#0#0#0#0#0#20#0#1#121^8^1)
  256. (Arc$A150#0#0#0#0#0#0#0#20#0#1#8^19^1)
  257. (Arc$A710#0#0#0#0#0#0#0#20#0#1#8^27^1)
  258. (Arc$0#0#0#0#0#0#0#0#20#0#1#6^23^1)
  259. (Arc$A720#0#0#0#0#0#0#0#20#0#1#8^63^1)
  260. (Arc$A730#0#0#0#0#0#0#0#20#0#1#8^99^1)
  261. (Arc$A320#0#0#0#0#0#0#0#20#0#1#11^52^1)
  262. (Arc$A330#0#0#0#0#0#0#0#20#0#1#81^11^1)
  263. (Arc$0#0#0#0#0#0#0#0#20#0#1#23^22^1)
  264. (Arc$A420#0#0#0#0#0#0#0#20#0#1#8^90^1)
  265. (Arc$0#0#0#0#0#0#0#0#20#0#1#22^57^1)
  266. (Arc$A360#0#0#0#0#0#0#0#20#0#1#13^90^1)
  267. (Arc$A370#0#0#0#0#0#0#0#20#0#1#150^13^1)
  268. (Arc$0#0#0#0#0#0#0#0#20#0#1#57^55^1)
  269. (Arc$0#0#0#0#0#0#0#0#20#0#1#55^73^1)
  270. (Arc$A740#0#0#0#0#0#0#0#20#0#1#8^23^1)
  271. (Arc$0#0#0#0#0#0#0#0#20#0#1#73^71^1)
  272. (Arc$0#0#0#0#0#0#0#0#20#0#1#71^99^1)
  273. (Arc$0#0#0#0#0#0#0#0#20#0#1#99^96^1)
  274. (Arc$0#0#0#0#0#0#0#0#20#0#1#99^98^1)
  275. (Arc$0#0#0#0#0#0#0#0#20#0#1#98^110^1)
  276. (Arc$0#0#0#0#0#0#0#0#20#0#1#96^107^1)
  277. (Arc$0#0#0#0#0#0#0#0#20#0#1#107^105^1)
  278. (Arc$0#0#0#0#0#0#0#0#20#0#1#15^27^1)
  279. (Arc$0#0#0#0#0#0#0#0#20#0#1#27^26^1)
  280. (Arc$0#0#0#0#0#0#0#0#20#0#1#26^36^1)
  281. (Arc$0#0#0#0#0#0#0#0#20#0#1#36^34^1)
  282. (Arc$0#0#0#0#0#0#0#0#20#0#1#34^47^1)
  283. (Arc$0#0#0#0#0#0#0#0#20#0#1#47^45^1)
  284. (Arc$0#0#0#0#0#0#0#0#20#0#1#45^63^1)
  285. (Arc$0#0#0#0#0#0#0#0#20#0#1#63^60^1)
  286. (Arc$0#0#0#0#0#0#0#0#20#0#1#63^62^1)
  287. (Arc$0#0#0#0#0#0#0#0#20#0#1#62^84^1)
  288. (Arc$0#0#0#0#0#0#0#0#20#0#1#60^68^1)
  289. (Arc$0#0#0#0#0#0#0#0#20#0#1#68^66^1)
  290. (Arc$A490#0#0#0#0#0#0#0#20#0#1#11^57^1)
  291. (Arc$A500#0#0#0#0#0#0#0#20#0#1#73^11^1)0^0^0^
  292. (Arc$A540#0#0#0#0#0#0#0#20#0#1#57^8^1)0^0^
  293. (Arc$A570#0#0#0#0#0#0#0#20#0#1#107^8^1)
  294. (Arc$A580#0#0#0#0#0#0#0#20#0#1#13^99^1)
  295. (Arc$A590#0#0#0#0#0#0#0#20#0#1#110^13^1)0^0^0^
  296. (Arc$A630#0#0#0#0#0#0#0#20#0#1#36^8^1)0^0^0^
  297. (Arc$A670#0#0#0#0#0#0#0#20#0#1#68^8^1)
  298. (Arc$A680#0#0#0#0#0#0#0#20#0#1#11^36^1)
  299. (Arc$A690#0#0#0#0#0#0#0#20#0#1#47^11^1)
  300. (Arc$A700#0#0#0#0#0#0#0#20#0#1#13^63^1)
  301. (Arc$A710#0#0#0#0#0#0#0#20#0#1#84^13^1)104#class timed_int
  302.                  {
  303.              public:
  304.              double time; 
  305.             int    value;
  306.             friend istream & operator >>(istream & strm, timed_int & t)
  307.             {
  308.             strm >> t.time>> t.value ;
  309.             return strm;
  310.             }
  311.             
  312.             friend ostream & operator << (ostream & strm, timed_int  t)
  313.             {
  314.             strm << t.time <<"\n"<<t.value << "\n";
  315.             return strm;
  316.             }
  317.             };
  318.  
  319.             class timed_char
  320.                  {
  321.              public:
  322.              double time; 
  323.             char value;
  324.             friend istream & operator >>(istream & strm, timed_char & t)
  325.             {
  326.             strm >> t.time >> t.value;
  327.             return strm;
  328.             }
  329.             
  330.             friend ostream & operator << (ostream & strm, timed_char  t)
  331.             {
  332.             strm << t.time <<"\n"<< t.value << "\n";
  333.             return strm;
  334.             }
  335.             };
  336.  
  337.             class timed_double
  338.                  {
  339.              public:
  340.              double time; 
  341.             double value;
  342.             friend istream & operator >>(istream & strm, timed_double & t)
  343.             {
  344.             strm >> t.time >> t.value;
  345.             return strm;
  346.             }
  347.             
  348.             friend ostream & operator << (ostream & strm, timed_double  t)
  349.             {
  350.             strm << t.time <<"\n"<< t.value << "\n";
  351.             return strm;
  352.             }
  353.             };
  354.  
  355.             class timed_string
  356.                  {
  357.              public:
  358.              double time; 
  359.             char value[256];
  360.             friend istream & operator >>(istream & strm, timed_string & t)
  361.             {
  362.             strm >> t.time >> t.value;
  363.             return strm;
  364.             }
  365.             
  366.             friend ostream & operator << (ostream & strm, timed_string  t)
  367.             {
  368.             strm << t.time <<"\n"<< t.value << "\n";
  369.             return strm;
  370.             }
  371.             };
  372. T0==0))